ecl-base-tuple(k;test)
== <
== ,[k]
== ,false
== ,(k',s,v,x. k' = k  test(s,v)  x)
== ,(n,x. x  n=0)
== ,(n,k',s,v,x. false)
== ,nil> 

latex

---

clarification:

ecl-base-tuple(k;test)
== <
== ,(k.nil)
== ,false
== ,(k',s,v,x. k' = k  test(s,v)  x)
== ,(n,x. x  n=0)
== ,(n,k',s,v,x. false)
== ,nil> 

latex

Definitions	, p  q, a = b, p  q, i=j, false
FDL editor aliases	ecl-base-tuple